perm filename GRAY.DVI[MF,DEK]2 blob
sn#754285 filedate 1984-05-24 generic text, type T, neo UTF8
{@@__I0βCX↓z∧α&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β ↔ εRp→
π#λ≤L&/_EjaH≤@↓↓Fλ6\G∂_↓?| (≤↓ ↓ fλ6]∞Cλ_<`9Xk7NPβ↓8 β↓8 α→n&λ<|`@Xε|≡0¬¬β≠,⊗p3≠NHXλ␈␈␈␈xFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&→⊂ZU(I-(*Pmελ9_,7 2\R ↓5*SG+QZ X @Fd@X%2
Vp7[nπλ8\N'_9]∞G(:]Ng0;≥nw8;↑/'P=≥nw8;]Ng0:].W :≤n7⊂9≤.↔7[mfhG#QZ∞y∃@Fd@ B∀
g8\nG(;≥o↔P=≡O'P=≡O'P=≡O'P=≡Nw0:]∞7λ8≠QhpFh∧ h}⊃Y⊂_ @7≤.G0=≡O'P=≡O'P=≡O'P=≡O'P=≡O'P;≥∞&pG#QZ∪;)@Fd@∞gP=≡O'P=≡O'P=≡O'P=≡O'P=≡O'P=≥QhpFh¬0qN⊃Y⊂πSOπP=≡O'P=≡O'P=≡O'P=≡O'P=≡O'P6∪AxpG#4/z{λhI$⊂∀asx'_-GP=≡O'P=≡O'P=≡O'P=≡O'P=≠ ∀p∨C`8pG#44=∂λhIl0< 08πGgt0'∃jvλ6≠∂↔P=≡O'P=≡O'P=≡MF`0Ujtp#∂cpxβ@`_pG#48␈#λhIα!λ ⊂_↓A`p8πCaqx∂Gcsx∨Ogsx∨Ogsx∨Ogsx∨Gcqx∂CapxπA`p_↓@ _pG#⊃0 ⊂⊂8hP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*LR ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&_pW#4→0↔λhI∂π@_↓@`3`≡#QhhPεt(∧#2 `._↓@`8pG#⊃00 T(hP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*Lr ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&(pW#4→0↔λhI∂π@_↓@`3`≡#QhhPεt(∧#2 `._↓@`8pG#⊃0@0m(hP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*M∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&8pW#4→0↔λhI∂π@_↓@`3`≡#QhhPεt(∧#2 ∧P%βapxπRI(pG#4≡RYλhI_λ8`0_↓cQh`E@α@α →#4¬
x7\∩/x␈s)wλI?␈yPO\N9⊂␈␈s)x:≥.~`I-(*[nW 8≥.I⊂ZU(_N'β ↔ εRp→
π#λ≤L&)⊂ZU(I-(*T∩/x␈pqfλ3Y2 ↓5*S(I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(~#UhhPε,\#2 β`≡`0_↓OπHpG#4≠Q!λhI_λ8`0_↓cQh`E@βα@(λ#4¬
x7\∩/x␈s)wλI?␈yPO\N9⊂␈␈s)x:≥.~`I-(*[nW 8≥.I⊂ZU(_N'β ↔ εRp→
π#λ≤L&)⊂ZU(I-(*T∩/x␈pqfλ3Y2 ↓5*S0I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(~cUhhPε,\#2 β`≡`0_↓OπHpG#4≠Q!λhI_λ8`0_↓cQhhPπl`≤#2 β`≡`0_↓OπHpG#4!T⊃λhI_λ8`0_↓cQh`E@β@β(l#4¬
x7\∩/x␈s)wλI?␈yPO\N9⊂␈␈s)x:≥.~`I-(*[nW 8≥.I⊂ZU(_N'β ↔ εRp→
π#λ≤L&)⊂ZU(I-(*T∩/x␈pqfλ3Y2 ↓5*S8I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(≠#UhhPε,\#2 β`≡`0_↓OπHpG#4≠Q!λhI∩I xπCatP%#QhhPπTPd#2 `._↓@`8pG#⊃0↓p↓YλhP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*N∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&xpW#4→0↔λhI∂π@_↓@`3`≡#QhhPεt(∧#2 ∧P%βapxπRI(pG#4≡RYλhI∩I xπCatP%#QhhPλ5D#2 `._↓@`8pG#⊃0↓⊂↓↓thhP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*N2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU'λpW#4→0↔λhI∂π@_↓@`3`≡#QhhPεt(∧#2 `._↓@`8pG#⊃0↓ ↓⊂α∪(hP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*L& ⊂ZU(I-(*Pmελ9_,7 2\R ↓5*SHG+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂0↔↓@`0_G#QZ⊃~∨@Fd@πC`↓@`0_≡∂⊃hpFh∧H+∩⊃Y⊂0↔↓@`0_G#QHXXP↓⊗⊂FhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&∪λI-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(_L⊃jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@λ@\0_↓@qhpFhβpf∞⊃Y⊂≡∂0_↓@gC`G#QZ⊂jλ@Fd@λ@\0_↓@qhpF"`βα`¬∀qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(_LR ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&∪λG+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@λ@\0_↓@qhpFh∧ h}⊃Y⊂≡∂0_↓@gC`G#QZ∩*d@Fd@λ@\0_↓@qhpF"`β β¬Q1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(_Lr ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&∪⊂G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@λ@\0_↓@qhpF"`β@β ε∪1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(_M∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&∪_G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂0↔↓@`0_G#QZ∂YC@Fd@πC`↓@`0_≡∂⊃hpFh∧_("⊃Y⊂%∩ApxπCi$PG#QZ∩*d@Fd@λ@\0_↓@qhpF"`β`β@εK1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(_M2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&∪ G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@ $PπCapx%∩QhpFh∧_("⊃Y⊂0↔↓@`0_G#QHX↓x↓c(FhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&∪0I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(_M1jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@ $PπCapx%∩QhpFhβh%2⊃Y⊂%∩ApxπCi$PG#QZ⊂jλ@Fd@ $PπCapx%∩QhpFh∧H+∩⊃Y⊂0↔↓@`0_G#QHX↓λ↓↓rXFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&∪8I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(_MQjpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@λ@\0_↓@qhpF"`∧@∧ λ
qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(_N∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&∪8G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂0↔↓@`0_G#QZ∩Z{@Fd@πC`↓@`0_≡∂⊃hpFh∧x.α⊃Y⊂0↔↓@`0_G#QHX↓_↓⊂α⊂λFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&∪HI-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(_N⊃jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@λ@\0_↓@qhpFh∧ h}⊃Y⊂≡∂0_↓@gC`G#QZ∩*d@Fd@λ@\0_↓@qhpF"`¬∧`λ|qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(→ ∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&∪HG+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@λ@\0_↓@qhpFh∧Pkn⊃Y⊂≡∂0_↓@gC`G#QZ∪k@@Fd@λ@\0_↓@qhpF"`¬ ¬ 91Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(→ 2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&#G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂0↔↓@`0_G#QZ∂YC@Fd@πC`↓@`0_≡∂⊃hpFh∧_("⊃Y⊂0↔↓@`0_G#QHX↓0↓(α>hFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&#⊂I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(→ 1jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@λ@\0_↓@qhpFhβpf∞⊃Y⊂≡∂0_↓@gC`G#QZ⊂jλ@Fd@λ@\0_↓@qhpFh∧Pkn⊃Y⊂≡∂0_↓@gC`G#QZ∪k@@Fd@λ@\0_↓@qhpF"`¬`¬@
7qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(→ r ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&#⊂G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@λ@\0_↓@qhpFh∧ h}⊃Y⊂≡∂0_↓@gC`G#QZ∩*d@Fd@λ@\0_↓@qhpF"`ε¬`
}1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(→
∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&#_G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@ $PπCapx%∩QhpFh∧_("⊃Y⊂0↔↓@`0_G#QZ∩Z{@Fd@πC`↓@`0_≡∂⊃hpFh∧x.α⊃Y⊂0↔↓@`0_G#QHX↓H↓@αpλFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&#(I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(→
⊃jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@ $PπCapx%∩QhpFhβh%2⊃Y⊂0↔↓@`0_G#QHX↓P↓Hβ↓xFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU�I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(→
1jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@λ@\0_↓@qhpFh∧ h}⊃Y⊂≡∂0_↓@gC`G#QZ∩*d@Fd@ $PπCapx%∩QhpFh∧x.α⊃Y⊂0↔↓@`0_G#QHX↓X↓Pβ∂xFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jUI-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(→
QjpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@λ@\0_↓@qhpFhβpf∞⊃Y⊂≡∂0_↓@gC`G#QZ⊂jλ@Fd@ $PπCapx%∩QhpFh∧H+∩⊃Y⊂0↔↓@`0_G#QHX↓`↓Xβ 8FhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&#@I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(→
qjpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@ $PπCapx%∩QhpFhβh%2⊃Y⊂0↔↓@`0_G#QZ⊃~∨@Fd@πC`↓@`0_≡∂⊃hpFh∧H+∩⊃Y⊂%∩ApxπCi$PG#QZ∪k@@Fd@λ@\0_↓@qhpF"`π π
CqZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(→∞2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&#@G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@ $PπCapx%∩QhpFh∧_("⊃Y⊂0↔↓@`0_G#QHX↓p↓hβBhFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&3I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(→∞1jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@λ@\0_↓@qhpFhβpf∞⊃Y⊂≡∂0_↓@gC`G#QZ⊂jλ@Fd@ $PπCapx%∩QhpFh∧H+∩⊃Y⊂%∩ApxπCi$PG#QZ∪k@@Fd@λ@\0_↓@qhpF"`π`π@∞HqZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(→L2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&3G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@ $PπCapx%∩QhpFh∧_("⊃Y⊂%∩ApxπCi$PG#QZ∩*d@Fd@λ@\0_↓@qhpF"`λπ`∂⊂1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(→LR ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&3λG+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@ $PπCapx%∩QhpFh∧_("⊃Y⊂%∩ApxπCi$PG#QZ∩*d@Fd@ $PπCapx%∩QhpFh∧x.α⊃Y⊂0↔↓@`0_G#QHXαλαβthFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&3_I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(→LQjpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@λ@\0_↓@qhpF"`λ@λ ⊂≠qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(→M∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&3_G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂0↔↓@`0_G#QZ⊂9q@Fd@πC`↓@`0_≡∂⊃hpFh∧0)Z⊃Y⊂0↔↓@`0_G#QHXα_α⊂∧∪HFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&3(I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(→M⊃jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@∞π↓@`0_8≤⊃hpFhβXdV⊃Y⊂0↔↓@`0_G#QZ⊂ Z@Fd@λ@\0_↓@qhpF"` λ`⊃
qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(→MR ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&3(G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@∞π↓@`0_8≤⊃hpFh∧λgF⊃Y⊂0↔↓@`0_G#QZ⊃J6@Fd@λ@\0_↓@qhpF"` ⊃G1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(→Mr ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&30G+QZ X @Fd@ ux→Lf3_/WqhpFhβ8"B⊃Y⊂0↔→Lf3_G#QHXα0α(∧B(FhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&3@I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(→MqjpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@λ@\0_↓@qhpFhβpf∞⊃Y⊂/Wf3_→LkuxG#QZ⊂jλ@Fd@λ@\ε3_→LqhpF"` ` @∩;qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(→N2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&3@G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂:≥↓pxπCnG G#QZ∞y∃@Fd@λ@\↓pxπCqhpFh∧&j⊃Y⊂0↔↓@`0_G#QHXα@α8∧↑λFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&CI-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(→N1jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@ $PπCapx%∩QhpFhβh%2⊃Y⊂:≥↓pxπCnG G#QZ⊂9q@Fd@λ@\↓pxπCqhpFh∧0)Z⊃Y⊂0↔↓@`0_G#QHXαHα@∧m_FhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&CλI-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(~ ⊃jpFhβ⊂`.⊃Y⊂/Wf3_→LkuxG#QZ
hP@Fd@λ@\ε3_→LqhpF"`
@
∪vqZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(~ R ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&CλG+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂0↔↓@`0_G#QZ⊂9q@Fd@ ux→Lf3_/WqhpFh∧0)Z⊃Y⊂0↔→Lf3_G#QHXαXαP¬
(FhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&C_I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(~ QjpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@∞π↓@`0_8≤⊃hpFhβXdV⊃Y⊂-Vf3_→Lk5XG#QZ⊂ Z@Fd@λ@\ε3_→LqhpF"`
`∀eqZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(~
∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&C_G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@∞π↓@`0_8≤⊃hpFh∧λgF⊃Y⊂-Vf3_→Lk5XG#QZ⊃J6@Fd@λ@\ε3_→LqhpF"` ∃#1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(~
2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&C G+QZ X @Fd@∞g0→Lf3_;≥QhpFhβ8"B⊃Y⊂$∩πsx∨Oi∧@G#QZ∂),@Fd@λ@\0_↓@qhpF"` @ ∃f1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(~
R ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&C(G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂0↔↓@`0_G#QZ∂YC@Fd@∞g0→Lf3_;≥QhpFh∧_("⊃Y⊂$∩πsx∨Oi∧@G#QZ∩*d@Fd@λ@\0_↓@qhpF"` ` @⊗≡1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(~
r ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&C0G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂:≥↓pxπCnG G#QZ∞y∃@Fd@ 5X'∪Idp-VqhpFh∧_("⊃Y⊂0↔↓@`0_G#QHXβαx¬XλFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&C@I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(~
qjpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@ $PπCapx%∩QhpFhβh%2⊃Y⊂:≥↓pxπCnG G#QZ⊂9q@Fd@ 5X'∪Idp-VqhpFh∧H+∩⊃Y⊂0↔↓@`0_G#QHXβλβ¬g8FhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&CHI-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(~∞⊃jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@∞π↓@`0_8≤⊃hpFhβXdV⊃Y⊂0↔↓@`0_G#QZ⊂ Z@Fd@λ@\0_↓@qhpF"` @ ↔`qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(~L∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&CHG+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂0↔↓@`0_G#QZ⊂9q@Fd@πC`↓@`0_≡∂⊃hpFh∧0)Z⊃Y⊂8≤0_↓@nπG#QZ∩Z{@Fd@λ@\0_↓@qhpFh∧x.α⊃Y⊂0↔↓@`0_G#QHXβ_β⊂επ(FhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&SλI-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(~L⊃jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@∞π↓@`0_8≤⊃hpFhβXdV⊃Y⊂0↔↓@`0_G#QZ⊂ Z@Fd@∞π↓@`0_8≤⊃hpFh∧ h}⊃Y⊂0↔↓@`0_G#QZ∩*d@Fd@λ@\0_↓@qhpF"`
`_cqZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(~LR ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&SλG+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@∞π↓@`0_8≤⊃hpFh∧λgF⊃Y⊂0↔↓@`0_G#QZ⊃J6@Fd@∞π↓@`0_8≤⊃hpFh∧Pkn⊃Y⊂0↔↓@`0_G#QZ∪k@@Fd@λ@\0_↓@qhpF"`
→*1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(~Lr ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&S⊂G+QZ X @Fd@ ux→Lf3_/WqhpFhβ8"B⊃Y⊂0↔→Lf3_G#QZ∂YC@Fd@πC`↓@`0_≡∂⊃hpFh∧_("⊃Y⊂0↔↓@`0_G#QHXβ0β(ε=HFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&S I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(~LqjpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@λ@\0_↓@qhpFhβpf∞⊃Y⊂/Wf3_→LkuxG#QZ⊂jλ@Fd@λ@\ε3_→LqhpFh∧Pkn⊃Y⊂≡∂0_↓@gC`G#QZ∪k@@Fd@λ@\0_↓@qhpF"`
`
@~2qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(~M2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&S G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂:≥↓pxπCnG G#QZ∞y∃@Fd@λ@\↓pxπCqhpFh∧&j⊃Y⊂8≤0_↓@nπG#QZ⊃~∨@Fd@λ@\0_↓@qhpFh∧H+∩⊃Y⊂0↔↓@`0_G#QHXβ@β8ε↑(FhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&S0I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(~M1jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@ $PπCapx%∩QhpFhβh%2⊃Y⊂:≥↓pxπCnG G#QZ⊂9q@Fd@λ@\↓pxπCqhpFh∧0)Z⊃Y⊂8≤0_↓@nπG#QZ∩Z{@Fd@λ@\0_↓@qhpFh∧x.α⊃Y⊂0↔↓@`0_G#QHXβHβ@εoxFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&S8I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(~MQjpFhβ⊂`.⊃Y⊂/Wf3_→LkuxG#QZ
hP@Fd@∞π→Lf3_8≤⊃hpFhβXdV⊃Y⊂0↔↓@`0_G#QZ⊂ Z@Fd@λ@\0_↓@qhpF"`∞@∞ ≤ qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(~N∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&S8G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂0↔↓@`0_G#QZ⊂9q@Fd@ ux→Lf3_/WqhpFh∧0)Z⊃Y⊂8≤ε3_→LnπG#QZ∩Z{@Fd@λ@\0_↓@qhpFh∧x.α⊃Y⊂0↔↓@`0_G#QHXβXβPπ∩λFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&SHI-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(~N⊃jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@∞π↓@`0_8≤⊃hpFhβXdV⊃Y⊂-Vf3_→Lk5XG#QZ⊂ Z@Fd@∞π→Lf3_8≤⊃hpFh∧ h}⊃Y⊂0↔↓@`0_G#QZ∩*d@Fd@λ@\0_↓@qhpF"`∂∞`≥∞qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≠ ∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&SHG+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@∞π↓@`0_8≤⊃hpFh∧λgF⊃Y⊂-Vf3_→Lk5XG#QZ⊃J6@Fd@∞π→Lf3_8≤⊃hpFh∧Pkn⊃Y⊂0↔↓@`0_G#QZ∪k@@Fd@λ@\0_↓@qhpF"`∂ ∂≥V1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≠ 2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&cG+QZ X @Fd@∞g0→Lf3_;≥QhpFhβ8"B⊃Y⊂$∩πsx∨Oi∧@G#QZ∂),@Fd@ $PπCapx%∩QhpFh∧_("⊃Y⊂0↔↓@`0_G#QHXβpβhπHhFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&c⊂I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(≠ 1jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@λ@\0_↓@qhpFhβpf∞⊃Y⊂;≥F3_→Lng0G#QZ⊂jλ@Fd@ ∧@∨Ogsx$∩⊃hpFh∧H+∩⊃Y⊂%∩ApxπCi$PG#QZ∪k@@Fd@λ@\0_↓@qhpF"`∂`∂@≡`qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≠ r ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&c⊂G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂:≥↓pxπCnG G#QZ∞y∃@Fd@ 5X'∪Idp-VqhpFh∧_("⊃Y⊂%∩ApxπCi$PG#QZ∩*d@Fd@λ@\0_↓@qhpF"`⊂∂`∨(1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≠
∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&c_G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@∞G πCapx:≥⊃hpFh∧λgF⊃Y⊂-Vidp'∪K5XG#QZ∩*d@Fd@ $PπCapx%∩QhpFh∧x.α⊃Y⊂0↔↓@`0_G#QHX∧λ∧πzhFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&c(I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(≠
⊃jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@λ@\0_↓@qhpF"`⊂@⊂ 3qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≠
R ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&c(G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂0↔↓@`0_G#QZ⊃zM@Fd@πC`↓@`0_≡∂⊃hpFh∧`,J⊃Y⊂0↔↓@`0_G#QHX∧_∧⊂λ→HFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&c8I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(≠
QjpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@∞π↓@`0_8≤⊃hpFhβXdV⊃Y⊂0↔↓@`0_G#QZ⊂ Z@Fd@λ@\0_↓@qhpFh∧8j6⊃Y⊂≡∂0_↓@gC`G#QZ∪ ∩@Fd@λ@\0_↓@qhpF"`⊃⊂`!"qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≠∞∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&c8G+QZ X @Fd@ ux→Lf3_/WqhpFhβ8"B⊃Y⊂8≤ε3_→LnπG#QZ∞y∃@Fd@λ@\0_↓@qhpFh∧&j⊃Y⊂0↔↓@`0_G#QZ⊃zM@Fd@πC`↓@`0_≡∂⊃hpFh∧`,J⊃Y⊂0↔↓@`0_G#QHX∧(∧ λ:(FhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&cHI-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(≠∞⊃jpFhβ⊂`.⊃Y⊂;≥F3_→Lng0G#QZ
hP@Fd@ ∧@∨Ogsx$∩⊃hpFhβh%2⊃Y⊂%∩ApxπCi$PG#QZ⊂jλ@Fd@λ@\0_↓@qhpFh∧Pkn⊃Y⊂≡∂0_↓@gC`G#QZ∪k@@Fd@λ@\0_↓@qhpF"`⊃@⊃ "/qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≠L∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&cHG+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂:≥↓pxπCnG G#QZ∞y∃@Fd@ 5X'∪Idp-VqhpFh∧_("⊃Y⊂%∩ApxπCi$PG#QZ∩*d@Fd@λ@\0_↓@qhpFh¬n↑⊃Y⊂≡∂0_↓@gC`G#QZ∃,≤@Fd@λ@\0_↓@qhpF"`⊃`⊃@"w1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≠L2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&sG+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@∞G πCapx:≥⊃hpFh∧λgF⊃Y⊂-Vidp'∪K5XG#QZ∩*d@Fd@ $PπCapx%∩QhpFh∧x.α⊃Y⊂0↔↓@`0_G#QZ∃\3@Fd@πC`↓@`0_≡∂⊃hpFh¬X3b⊃Y⊂0↔↓@`0_G#QHX∧@∧8λqλFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&s⊂I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(≠L1jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@λ@\0_↓@qhpF"`∩ ∩$⊗qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≠Lr ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&s⊂G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@λ@\0_↓@qhpF"`∩@∩ $I1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≠M∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&s_G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂0↔↓@`0_G#QZ⊃zM@Fd@πC`↓@`0_≡∂⊃hpFh∧`,J⊃Y⊂%∩ApxπCi$PG#QZ∀Kn@Fd@λ@\0_↓@qhpF"`∩`∩@%↓1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≠M2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&s G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂8≤0_↓@nπG#QZ∞y∃@Fd@λ@\0_↓@qhpFh∧&j⊃Y⊂0↔↓@`0_G#QZ⊃zM@Fd@πC`↓@`0_≡∂⊃hpFh∧`,J⊃Y⊂%∩ApxπCi$PG#QZ∀Kn@Fd@λ@\0_↓@qhpF"`∪∩`%C1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≠MR ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&s(G+QZ X @Fd@ ux→Lf3_/WqhpFhβ8"B⊃Y⊂8≤ε3_→LnπG#QZ∞y∃@Fd@λ@\0_↓@qhpFh∧&j⊃Y⊂0↔↓@`0_G#QZ⊃zM@Fd@πC`↓@`0_≡∂⊃hpFh∧`,J⊃Y⊂%∩ApxπCi$PG#QZ∀Kn@Fd@λ@\0_↓@qhpF"`∪ ∪&∂1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≠Mr ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&s0G+QZ X @Fd@∞g0→Lf3_;≥QhpFhβ8"B⊃Y⊂$∩πsx∨Oi∧@G#QZ∂),@Fd@ $PπCapx%∩QhpFh∧_("⊃Y⊂0↔↓@`0_G#QZ∩Z{@Fd@πC`↓@`0_≡∂⊃hpFh∧x.α⊃Y⊂%∩ApxπCi$PG#QZ∃,≤@Fd@λ@\0_↓@qhpF"`∪@∪ &[1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≠N∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&s8G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂:≥↓pxπCnG G#QZ∞y∃@Fd@ 5X'∪Idp-VqhpFh∧_("⊃Y⊂%∩ApxπCi$PG#QZ∩*d@Fd@λ@\0_↓@qhpFh¬n↑⊃Y⊂≡∂0_↓@gC`G#QZ∃,≤@Fd@ $PπCapx%∩QhpFh¬X3b⊃Y⊂0↔↓@`0_G#QHX∧x∧p jλFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU&sHI-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(≠N⊃jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@ $PπCapx%∩QhpFhβh%2⊃Y⊂:≥↓pxπCnG G#QZ⊂9q@Fd@ 5X'∪Idp-VqhpFh∧H+∩⊃Y⊂%∩ApxπCi$PG#QZ∪k@@Fd@λ@\0_↓@qhpFh¬0qN⊃Y⊂≡∂0_↓@gC`G#QZ⊗lx@Fd@ $PπCapx%∩QhpFhελ6R⊃Y⊂0↔↓@`0_G#QHX¬∧x }XFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU'βI-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(≠N1jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@λ@\0_↓@qhpF"`∀ ∀(RqZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≤ 2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU'βG+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@λ@\0_↓@qhpF"`∀@∀ )¬1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≤ R ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU'βλG+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@ $PπCapx%∩QhpFh∧_("⊃Y⊂0↔↓@`0_G#QHX¬_¬⊂
/(FhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU'β_I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(≤ QjpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@λ@\0_↓@qhpFh∧8j6⊃Y⊂≡∂0_↓@gC`G#QZ∪ ∩@Fd@ $PπCapx%∩QhpFh¬⊂/:⊃Y⊂%∩ApxπCi$PG#QZ⊗ J@Fd@λ@\0_↓@qhpF"`∃∀`)zqZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≤
∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU'β_G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂8≤0_↓@nπG#QZ∞y∃@Fd@λ@\0_↓@qhpFh∧&j⊃Y⊂0↔↓@`0_G#QZ⊃zM@Fd@πC`↓@`0_≡∂⊃hpFh∧`,J⊃Y⊂%∩ApxπCi$PG#QZ∀Kn@Fd@ $PπCapx%∩QhpFh¬@2*⊃Y⊂0↔↓@`0_G#QHX¬(¬
PHFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU'β(I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(≤
⊃jpFhβ⊂`.⊃Y⊂/Wf3_→LkuxG#QZ
hP@Fd@∞π→Lf3_8≤⊃hpFhβXdV⊃Y⊂0↔↓@`0_G#QZ⊂ Z@Fd@λ@\0_↓@qhpFh∧8j6⊃Y⊂≡∂0_↓@gC`G#QZ∪ ∩@Fd@ $PπCapx%∩QhpFh¬⊂/:⊃Y⊂%∩ApxπCi$PG#QZ⊗ J@Fd@λ@\0_↓@qhpF"`∃@∃ +∪qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≤
R ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU'β(G+QZ X @Fd@∞g0→Lf3_;≥QhpFhβ8"B⊃Y⊂$∩πsx∨Oi∧@G#QZ∂),@Fd@ $PπCapx%∩QhpFh∧_("⊃Y⊂0↔↓@`0_G#QZ∩Z{@Fd@πC`↓@`0_≡∂⊃hpFh∧x.α⊃Y⊂%∩ApxπCi$PG#QZ∃,≤@Fd@ $PπCapx%∩QhpFh¬X3b⊃Y⊂0↔↓@`0_G#QHX¬8¬0
y(FhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU'β8I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(≤
QjpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@∞G πCapx:≥⊃hpFhβXdV⊃Y⊂-Vidp'∪K5XG#QZ⊂jλ@Fd@ $PπCapx%∩QhpFh∧H+∩⊃Y⊂0↔↓@`0_G#QZ∀≠W@Fd@πC`↓@`0_≡∂⊃hpFh¬(0r⊃Y⊂%∩ApxπCi$PG#QZ⊗lx@Fd@ $PπCapx%∩QhpFhελ6R⊃Y⊂0↔↓@`0_G#QHX¬@¬8
xFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU'β@I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(≤
qjpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@ $PπCapx%∩QhpFhβh%2⊃Y⊂:≥↓pxπCnG G#QZ⊂9q@Fd@ 5X'∪Idp-VqhpFh∧H+∩⊃Y⊂%∩ApxπCi$PG#QZ∪k@@Fd@λ@\0_↓@qhpFh¬0qN⊃Y⊂≡∂0_↓@gC`G#QZ⊗lx@Fd@ $PπCapx%∩QhpFhελ6R⊃Y⊂%∩ApxπCi$PG#QZ→n0@Fd@λ@\0_↓@qhpF"`⊗ ⊗-∂qZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≤∞2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU'β@G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂0↔↓@`0_G#QHX¬P¬H ;(FhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU'∪I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(≤∞1jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@ $PπCapx%∩QhpFhβh%2⊃Y⊂0↔↓@`0_G#QHX¬X¬P GxFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU'∪λI-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(≤L⊃jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@ $PπCapx%∩QhpFhβh%2⊃Y⊂%∩ApxπCi$PG#QZ⊂jλ@Fd@λ@\0_↓@qhpF"`↔⊗`.WqZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≤LR ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU'∪λG+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂%∩ApxπCi$PG#QZ∂),@Fd@ $PπCapx%∩QhpFh∧_("⊃Y⊂%∩ApxπCi$PG#QZ∩*d@Fd@λ@\0_↓@qhpF"`↔ ↔/∃1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≤Lr ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU'∪⊂G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂0↔↓@`0_G#QZ⊃zM@Fd@πC`↓@`0_≡∂⊃hpFh∧`,J⊃Y⊂%∩ApxπCi$PG#QZ∀Kn@Fd@ $PπCapx%∩QhpFh¬@2*⊃Y⊂%∩ApxπCi$PG#QZ↔M&@Fd@λ@\0_↓@qhpF"`↔@↔ /X1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≤M∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU'∪_G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂8≤0_↓@nπG#QZ∞y∃@Fd@λ@\0_↓@qhpFh∧&j⊃Y⊂0↔↓@`0_G#QZ⊃zM@Fd@πC`↓@`0_≡∂⊃hpFh∧`,J⊃Y⊂%∩ApxπCi$PG#QZ∀Kn@Fd@ $PπCapx%∩QhpFh¬@2*⊃Y⊂%∩ApxπCi$PG#QZ↔M&@Fd@λ@\0_↓@qhpF"`↔`↔@0%1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≤M2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU'∪ G+QZ X @Fd@ ux→Lf3_/WqhpFhβ8"B⊃Y⊂8≤ε3_→LnπG#QZ∞y∃@Fd@λ@\0_↓@qhpFh∧&j⊃Y⊂0↔↓@`0_G#QZ⊃zM@Fd@πC`↓@`0_≡∂⊃hpFh∧`,J⊃Y⊂%∩ApxπCi$PG#QZ∀Kn@Fd@ $PπCapx%∩QhpFh¬@2*⊃Y⊂%∩ApxπCi$PG#QZ↔M&@Fd@λ@\0_↓@qhpF"`_↔`0|1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≤MR ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU'∪(G+QZ X @Fd@∞g0→Lf3_;≥QhpFhβ8"B⊃Y⊂$∩πsx∨Oi∧@G#QZ∂),@Fd@ $PπCapx%∩QhpFh∧_("⊃Y⊂0↔↓@`0_G#QZ∩Z{@Fd@πC`↓@`0_≡∂⊃hpFh∧x.α⊃Y⊂%∩ApxπCi$PG#QZ∃,≤@Fd@ $PπCapx%∩QhpFh¬X3b⊃Y⊂%∩ApxπCi$PG#QZ_-T@Fd@λ@\0_↓@qhpF"`_ _1S1Zα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(≤Mr ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU'∪0G+QZ X @Fd@πC`↓@`0_≡∂⊃hpFhβ8"B⊃Y⊂:≥↓pxπCnG G#QZ∞y∃@Fd@ 5X'∪Idp-VqhpFh∧_("⊃Y⊂%∩ApxπCi$PG#QZ∩*d@Fd@λ@\0_↓@qhpFh¬n↑⊃Y⊂≡∂0_↓@gC`G#QZ∃,≤@Fd@ $PπCapx%∩QhpFh¬X3b⊃Y⊂%∩ApxπCi$PG#QZ_-T@Fd@ $PπCapx%∩QhpFhε89B⊃Y⊂0↔↓@`0_G#QHXε⊂ελ JhFhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU'∪@I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(≤MqjpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@ $PπCapx%∩QhpFhβh%2⊃Y⊂:≥↓pxπCnG G#QZ⊂9q@Fd@ 5X'∪Idp-VqhpFh∧H+∩⊃Y⊂%∩ApxπCi$PG#QZ∪k@@Fd@λ@\0_↓@qhpFh¬0qN⊃Y⊂≡∂0_↓@gC`G#QZ⊗lx@Fd@ $PπCapx%∩QhpFhελ6R⊃Y⊂%∩ApxπCi$PG#QZ→n0@Fd@ $PπCapx%∩QhpFhεh<2⊃Y⊂0↔↓@`0_G#QHXε_ε⊂ b_FhP∃vx8$←␈xfSn→⊂␈␈s)x9≤r/x␈fSw :\5I⊂ZU(7].G:]∩ ↓5*Sλ≤NεBp_
%c⊂~∞F∪H_LR ↓5*Y⊂ZU(($←␈xacL⊗82d@⊂jU'∪HI-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(≤N⊃jpFhβ⊂`.⊃Y⊂≡∂0_↓@gC`G#QZ
hP@Fd@λ@\0_↓@qhpF"`→_`3kqZα@W[n ⊂␈␈yTx8d←␈xM'n'_I?␈yPO]∞WλV$@⊂jU-w(:≤∞W I-(*L'∪@~ Fβ(↔ FCP_N&∪⊂I-(*d@⊂jU* ⊂␈␈x8p0YlY⊂ZU(_Lε ⊂ZU(I-(*Pmελ9_,7 2\R ↓5*SH≤cUhhPε,\#2 β`≡`0_↓OπHpG#4≠Q!λhI_λ8`0_↓cQhhP -8\#2 β`≡`0_↓OπHpG#4'W↓λhI_λ8`0_↓cQh`E@2@2ε@<c4¬
x7\∩/x␈s)wλI?␈yPO\N9⊂␈␈s)x:≥.~`I-(*[nW 8≥.I⊂ZU(_N'β ↔ εRp→
π#λ≤L&)⊂ZU(I-(*T∩/x␈pqfλ3Y2 ↓5*Sλ_ 2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&∪_#UhhPε,\#2 β`≡`0_↓OπHpG#4≠Q!λhI_λ8`0_↓cQhhPλMλ|#2 β`≡`0_↓OπHpG#4$UIλhI∩I xπCatP%#QhhP u`∧#2 `._↓@`8pG#⊃0 ` P~-HhP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*L&β⊂I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(_Lε_pW#4→0↔λhI∂π@_↓@`3`≡#QhhPεt(∧#2 `._↓@`8pG#4∨3πλhI∂π@_↓@`3`≡#QhhPλ5D#2 ∧P%βapxπRI(pG#4$UIλhI∩I xπCatP%#QhhP u`∧#2 `._↓@`8pG#⊃0 p `~NhhP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*L&β_I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(_Lε(pW#4→0↔λhI∂π@_↓@`3`≡#QhhPεt(∧#2 ∧P%βapxπRI(pG#4≡RYλhI∩I xπCatP%#QhhPλ5D#2 ∧P%βapxπRI(pG#4$UIλhI∩I xπCatP%#QhhP u`∧#2 `._↓@`8pG#⊃0
p~rhhP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*L&β I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(_Lε8pW#4→0↔λhI∂π@_↓@`3`≡#QhhPεt(∧#2 `._↓@`8pG#4 scλhI∂π@_↓@`3`≡#QhhPλe_4#2 ∧P%βapxπRI(pG#4&⊗%λhI∩I xπCatP%#QhhP
%pt#2 ∧P%βapxπRI(pG#4,→∃λhI∩I xπCatP%#QhhP fP4#2 `._↓@`8pG#⊃0
⊂
≠↔(hP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*L&β(I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(_LεHpW#4→0↔λhI∂π@_↓@`3`≡#QhhPεt(∧#2 π8`0_↓\∞λpG#4≥r+λhI≠M`_↓@`6p7#QhhPλ∧hT#2 ∧@$βapxπR λpG#4#∀mλhI∩I xπCatP%#QhhP EH∀#2 ∧P%βapxπRI(pG#4)↔]λhI∩I xπCatP%#QhhP ε T#2 ∧P%βapxπRI(pG#4/~MλhI_λ8`0_↓cQh`E@54@εpβ#4¬
x7\∩/x␈s)wλI?␈yPO\N9⊂␈␈s)x:≥.~`I-(*[nW 8≥.I⊂ZU(_N'β ↔ εRp→
π#λ≤L&)⊂ZU(I-(*T∩/x␈pqfλ3Y2 ↓5*Sλ_
R ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&∪~cUhhPε,\#2 ¬x/Lf3_→WkxpG#4≠Q!λhI≤∞β_→Lf78#QhhPπ<H,#2 εp7`0_↓[MhpG#4 ∪5λhI∩ xπCat@$#QhhPλe_4#2 ∧P%βapxπRI(pG#4&⊗%λhI∩I xπCatP%#QhhP
%pt#2 ∧P%βapxπRI(pG#4,→∃λhI∩I xπCatP%#QhhP fP4#2 `._↓@`8pG#⊃0
0
≠mHhP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*L&β8I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(_LεhpW#4→0↔λhI≥Nc_→Lf70;#QhhPεt(∧#2 ∧@$∂gsx∨R λpG#4≡RYλhI∩I xπCatP%#QhhPλ5D#2 ∧P%βapxπRI(pG#4$UIλhI∩I xπCatP%#QhhP u`∧#2 ∧P%βapxπRI(pG#4*X9λhI∩I xπCatP%#QhhP 68D#2 ∧P%βapxπRI(pG#40[)λhI_λ8`0_↓cQh`E@65@πi#4¬
x7\∩/x␈s)wλI?␈yPO\N9⊂␈␈s)x:≥.~`I-(*[nW 8≥.I⊂ZU(_N'β ↔ εRp→
π#λ≤L&)⊂ZU(I-(*T∩/x␈pqfλ3Y2 ↓5*Sλ_∞∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&∪≠cUhhPε,\#2 β`≡`0_↓OπHpG#4≠Q!λhI≥∞@xπCaw :#QhhPπ<H,#2 ¬X-SIdp'⊗k8pG#4!T⊃λhI∩I xπCatP%#QhhP ∃0$#2 ∧P%βapxπRI(pG#4'W↓λhI∩I xπCatP%#QhhP
Vλd#2 ∧P%βapxπRI(pG#4-YqλhI∩I xπCatP%#QhhP ⊗h$#2 ∧P%βapxπRI(pG#43\aλhI_λ8`0_↓cQh`E@6@6π⊂≤#4¬
x7\∩/x␈s)wλI?␈yPO\N9⊂␈␈s)x:≥.~`I-(*[nW 8≥.I⊂ZU(_N'β ↔ εRp→
π#λ≤L&)⊂ZU(I-(*T∩/x␈pqfλ3Y2 ↓5*Sλ_∞2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&∪≤#UhhPε,\#2 β`≡`0_↓OπHpG#4≠Q!λhI∩I xπCatP%#QhhPπTPd#2 π :βapxπ]∞HpG#4 scλhI⊗k4p'∪IeX-cQhhP ∃0$#2 ∧P%βapxπRI(pG#4'W↓λhI∩I xπCatP%#QhhP
Vλd#2 ∧P%βapxπRI(pG#4-YqλhI∩I xπCatP%#QhhP ⊗h$#2 ∧P%βapxπRI(pG#43\aλhI∩I xπCatP%#QhhP
W@d#2 `._↓@`8pG#⊃0
`
P≤vHhP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*L&∪I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(_Lπ_pW#4→0↔λhI∂π@_↓@`3`≡#QhhPεt(∧#2 `._↓@`8pG#⊃0
p
`≥(hhP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*L&∪λI-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(_L&λpW#4→0↔λhI∂π@_↓@`3`≡#QhhPεt(∧#2 `._↓@`8pG#4+8gλhI∂π@_↓@`3`≡#QhhP 68D#2 `._↓@`8pG#⊃0∞
p≥B(hP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*L&∪⊂I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(_L&_pW#4→0↔λhI∂π@_↓@`3`≡#QhhPεt(∧#2 `._↓@`8pG#4%5wλhI∂π@_↓@`3`≡#QhhP u`∧#2 `._↓@`8pG#4+8gλhI∂π@_↓@`3`≡#QhhP 68D#2 `._↓@`8pG#⊃0∞⊂∞≥`hhP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*L&∪_I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(_L&(pW#4→0↔λhI∂π@_↓@`3`≡#QhhPεt(∧#2 `._↓@`8pG#4"4?λhI∂π@_↓@`3`≡#QhhP ∃0$#2 ∧P%βapxπRI(pG#4'W↓λhI_λ8`0_↓cQhhP
n_≤#2 β`≡`0_↓OπHpG#4-YqλhI_λ8`0_↓cQh`E@98@π@⊃#4¬
x7\∩/x␈s)wλI?␈yPO\N9⊂␈␈s)x:≥.~`I-(*[nW 8≥.I⊂ZU(_N'β ↔ εRp→
π#λ≤L&)⊂ZU(I-(*T∩/x␈pqfλ3Y2 ↓5*Sλ_M∩ ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&∪λ→cUhhPε,\#2 β`≡`0_↓OπHpG#4≠Q!λhI_λ8`0_↓cQhhPπl`≤#2 β`≡`0_↓OπHpG#4!T⊃λhI∩I xπCatP%#QhhP ∃0$#2 ∧P%βapxπRI(pG#4'W↓λhI_λ8`0_↓cQhhP
n_≤#2 β`≡`0_↓OπHpG#4-YqλhI_λ8`0_↓cQh`E@9@9πH*#4¬
x7\∩/x␈s)wλI?␈yPO\N9⊂␈␈s)x:≥.~`I-(*[nW 8≥.I⊂ZU(_N'β ↔ εRp→
π#λ≤L&)⊂ZU(I-(*T∩/x␈pqfλ3Y2 ↓5*Sλ_M2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&∪λ~#UhhPε,\#2 β`≡`0_↓OπHpG#4≠Q!λhI∩I xπCatP%#QhhPπTPd#2 ∧P%βapxπRI(pG#4!T⊃λhI∩I xπCatP%#QhhP ∃0$#2 ∧P%βapxπRI(pG#4'W↓λhI_λ8`0_↓cQhhP
n_≤#2 β`≡`0_↓OπHpG#4-YqλhI_λ8`0_↓cQh`E@:9@πPN#4¬
x7\∩/x␈s)wλI?␈yPO\N9⊂␈␈s)x:≥.~`I-(*[nW 8≥.I⊂ZU(_N'β ↔ εRp→
π#λ≤L&)⊂ZU(I-(*T∩/x␈pqfλ3Y2 ↓5*Sλ_MR ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&∪λ~cUhhPε,\#2 β`≡`0_↓OπHpG#4≠Q!λhI_λ8`0_↓cQhhPλ≤x #2 β`≡`0_↓OπHpG#4#∀mλhI∩I xπCatP%#QhhP EH∀#2 ∧P%βapxπRI(pG#4)↔]λhI∩I xπCatP%#QhhP ε T#2 ∧P%βapxπRI(pG#4/~MλhI_λ8`0_↓cQhhP ←λL#2 β`≡`0_↓OπHpG#45≥=λhI_λ8`0_↓cQh`E@:@:πXt#4¬
x7\∩/x␈s)wλI?␈yPO\N9⊂␈␈s)x:≥.~`I-(*[nW 8≥.I⊂ZU(_N'β ↔ εRp→
π#λ≤L&)⊂ZU(I-(*T∩/x␈pqfλ3Y2 ↓5*Sλ_Mr ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&∪λ≠#UhhPε,\#2 β`≡`0_↓OπHpG#4≠Q!λhI≤∞_↓@`78#QhhPπ<H,#2 εp7`0_↓[MhpG#4 ∪5λhI∩ xπCat@$#QhhPλe_4#2 ∧P%βapxπRI(pG#4&⊗%λhI∩I xπCatP%#QhhP
%pt#2 ∧P%βapxπRI(pG#4,→∃λhI∩I xπCatP%#QhhP fP4#2 `._↓@`8pG#42|3λhI∂π@_↓@`3`≡#QhhP
'(t#2 `._↓@`8pG#⊃0∞`∞P∨+HhP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*L&∪@I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(_L&xpW#4→0↔λhI↔ks_→Lf5x/cQhhPεt(∧#2 π8 f3_→\∞λpG#4≥r+λhI≠M`_↓@`6p7#QhhPλ∧hT#2 ∧@$βapxπR λpG#4#∀mλhI∩I xπCatP%#QhhP EH∀#2 ∧P%βapxπRI(pG#4)↔]λhI∩I xπCatP%#QhhP ε T#2 ∧P%βapxπRI(pG#4/~MλhI_λ8`0_↓cQhhP ←λL#2 β`≡`0_↓OπHpG#45≥=λhI_λ8`0_↓cQh`E@;@;πpu#4¬
x7\∩/x␈s)wλI?␈yPO\N9⊂␈␈s)x:≥.~`I-(*[nW 8≥.I⊂ZU(_N'β ↔ εRp→
π#λ≤L&)⊂ZU(I-(*T∩/x␈pqfλ3Y2 ↓5*Sλ_N2 ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&∪λ≤#UhhPε,\#2 π0; f3_→]NhpG#4≠Q!λhI∩ βx∨Ogt@$#QhhPπTPd#2 ∧P%βapxπRI(pG#4!T⊃λhI∩I xπCatP%#QhhP ∃0$#2 ∧P%βapxπRI(pG#4'W↓λhI∩I xπCatP%#QhhP
Vλd#2 ∧P%βapxπRI(pG#4-YqλhI∩I xπCatP%#QhhP ⊗h$#2 `._↓@`8pG#44=∂λhI∂π@_↓@`3`≡#QhhP
W@d#2 `._↓@`8pG#⊃0∂∞p ∂λhP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*L&#I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(_L'_pW#4→0↔λhI∂π@_↓@`3`≡#QhhPεt(∧#2 π :βapxπ]∞HpG#4≥r+λhI⊗k4p'∪IeX-cQhhPλ5D#2 ∧P%βapxπRI(pG#4$UIλhI∩I xπCatP%#QhhP u`∧#2 ∧P%βapxπRI(pG#4*X9λhI∩I xπCatP%#QhhP 68D#2 ∧P%βapxπRI(pG#40[)λhI∩I xπCatP%#QhhP w_∧#2 `._↓@`8pG#47>GλhI∂π@_↓@`3`≡#QhhP∞7pD#2 `._↓@`8pG#⊃0∂⊂∂ @hhP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*L&#λI-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(_LFλpW#4→0↔λhI∂π@_↓@`3`≡#QhhPεt(∧#2 ∧P%βapxπRI(pG#4≡RYλhI≥∞@xπCaw :#QhhPλ≤x #2 ¬X-SIdp'⊗k8pG#4$UIλhI∩I xπCatP%#QhhP u`∧#2 ∧P%βapxπRI(pG#4*X9λhI∩I xπCatP%#QhhP 68D#2 ∧P%βapxπRI(pG#40[)λhI∩I xπCatP%#QhhP w_∧#2 ∧P%βapxπRI(pG#46↑→λhI_λ8`0_↓cQhhP∞Ox|#2 β`≡`0_↓OπHpG#4<a λhI_λ8`0_↓cQh`E@=<@λ_U#4¬
x7\∩/x␈s)wλI?␈yPO\N9⊂␈␈s)x:≥.~`I-(*[nW 8≥.I⊂ZU(_N'β ↔ εRp→
π#λ≤L&)⊂ZU(I-(*T∩/x␈pqfλ3Y2 ↓5*Sλ→ R ↓5*Y⊂ZU(!Z ↔⊂0XnF(9$@⊂jU&∪⊂_cUhhPε,\#2 β`≡`7P↓@gC`G#QZ
hP@Fd@ $PπCn'⊂9≤Apx%∩QhpFhβh%2⊃Y⊂:≥↓px:≥∞G πCnG G#QZ⊂9q@Fd@ 5X'∪N'⊂9≤Idp-VqhpFh∧H+∩⊃Y⊂%∩Apx;≥Ng0πCi$PG#QZ∪k@@Fd@ $PπCnG :≥↓px%∩QhpFh¬(0r⊃Y⊂%∩Apx:≥∞G πCi$PG#QZ⊗lx@Fd@ $PπCnG :≥↓px%∩QhpFhελ6R⊃Y⊂%∩Apx:≥∞G πCi$PG#QZ→n0@Fd@ $PπCkUh.W!px%∩QhpFhεh<2⊃Y⊂0↔↓@mfp7≠@0_G#QZ≥∨␈@Fd@πC`↓@iD`&∪0_≡∂⊃hpFhπHB∩⊃Y⊂0↔↓@qhhI`(``8pG#⊃0∂0∂ !,HhP↓ +mwI?␈|h'\2/x␈fSw⊂9d←␈xM'nG(8k∩ ↓5*Vx:]∞π(:$@⊂jU&∪H≤
¬c~KF# ≥ '∪λ→$@⊂jU2 ↓5*UI?␈|_G_,v(I-(*L&#_I-(*d@⊂jU(6@0\L⊗_:→.)⊂ZU(_LF(pW#4→0↔λhI∂π@_↓↑O'P↓@gC`G#QZ
hP@Fd@ $PπCn'⊂9≤N'⊂9≤N'⊂9≤Apx%∩QhpFhβh%2⊃Y⊂:≥↓px:≥∞G :≥∞G :≥∞G πCnG G#QZ⊂9q@Fd@ 5X'∪N'⊂9≤N'⊂9≤N'⊂9≤Idp-VqhpFh∧H+∩⊃Y⊂%∩Apx;≥Ng0;≥Ng0;≥Ng0πCi$PG#QZ∪k@@Fd@ $PπCnG :≥∞G :≥∞G :≥↓px%∩QhpFh¬(0r⊃Y⊂%∩Apx:≥∞G :≥∞G :≥∞G πCi$PG#QZ⊗lx@Fd@ $PπCnG :≥∞G :≥∞G :≥↓px%∩QhpFhελ6R⊃Y⊂%∩Apx:≥∞G :≥∞G :≥∞G πCi$PG#QZ→n0@Fd@ $PπCkUh.W+Uh.W+Uh.W!px%∩QhpFhεh<2⊃Y⊂0↔↓@mfp7≠Mfp7≠Mfp7≠@0_G#QZ≥∨␈@Fd@πC`↓@iD`&∪ D`&∪ D`&∪0_≡∂⊃hpFhπHB∩⊃Y⊂0↔↓@qhhI↓@X@`8pG#∨!j λAdX↓`≥@⎇=⊃ λ: ∨↓@∂?_EjaH≤@↓↓Fλ6\G∂_↓?| (≤↓ ↓ fλ6]∞Cλ_<`9Xk7NPβ↓8 β↓8 α→n&λ<|`@Xε|≡0¬¬β≠,⊗p3≠NOH⊃→P↓7{⎇xow{⎇x